Matthew 2

Results: 811



#Item
31A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

Add to Reading List

Source URL: software.imdea.org

- Date: 2016-09-06 10:47:15
    32The Racket Reference Version 5.2 Matthew Flatt and PLT November 8, 2011

    The Racket Reference Version 5.2 Matthew Flatt and PLT November 8, 2011

    Add to Reading List

    Source URL: download.racket-lang.org

    - Date: 2014-03-03 20:14:12
      33Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

      Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

      Add to Reading List

      Source URL: www.cs.utah.edu

      - Date: 2004-04-03 19:39:33
        34Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3

        Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3

        Add to Reading List

        Source URL: www.cs.utah.edu

        - Date: 2006-08-25 13:33:58
          35Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2

          Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2

          Add to Reading List

          Source URL: software.imdea.org

          - Date: 2017-01-21 10:32:08
            36Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

            Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

            Add to Reading List

            Source URL: web.stanford.edu

            - Date: 2017-05-03 11:15:27
              37Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

              Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

              Add to Reading List

              Source URL: web.stanford.edu

              - Date: 2017-05-03 11:15:27
                38A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University

                A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University

                Add to Reading List

                Source URL: arxiv.org

                - Date: 2016-09-28 20:49:25
                  39The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12

                  The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12

                  Add to Reading List

                  Source URL: download.elca.org

                  - Date: 2013-09-05 10:58:59
                    40Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2

                    Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2

                    Add to Reading List

                    Source URL: www.princeton.edu

                    - Date: 2010-02-04 01:27:12